liczby naturalne
Korpus Języka Polskiego PWN
Autentyczne przykłady użycia w piśmie i mowie zgromadzone w Korpusie
- ... odwzorowanie określone wzorem y = 2n, gdzie n jest elementem zbioru liczb naturalnych (A), a y jest elementem zbioru potęg o podstawie 2...
- ... 2 o wykładnikach naturalnych jest przemienne. jeśli stwierdzimy, że dodawanie liczb naturalnych podlega prawu łączności (tj. np. (2 + 3) + 4 = 2 + (3...
- ... możemy uważać działanie dodawania za operację dobrze określoną dla wszystkich liczb naturalnych, ponieważ wiemy, jak ją wykonać dla dowolnie dużych liczb danych...
- ... 1 . Mówiąc ogólnie, klasa &1 jest to klasa tych zbiorów liczb naturalnych, które można zdefiniować za pomocą formuł postaci , gdzie Q jest...
- ... 2 o wykładnikach naturalnych. Jeżeli stwierdzimy na przykład, że dodawanie liczb naturalnych jest przemienne (tj. np. 2+4=4+2), to możemy...
- ... ale żądający, by wszystkie takie zbiory były redukowalne do zbioru liczb naturalnych.
Otrzymaliśmy więc w ten sposób całą hierarchię różnych stopni konstruktywności... - ... sobie próbek w serii (krok rozcieńczenia), a P przyjmuje wartości liczb naturalnych:0, 1, 2,..., i,...(kolejność próbek w przeznaczonej do badań...
- ... zbioru. Mówimy więc, że dodawanie jest działaniem wewnętrznym w zbiorze liczb naturalnych, ponieważ każdej parze liczby naturalnej odpowiada liczba naturalna zwana ich...
- ... teraz dopuszczamy kwantyfikowanie nie tylko liczb naturalnych, ale także zbiorów liczb naturalnych.
Kodując odpowiednio funkcje można klasyfikować za pomocą opisanych hierarchii nie... - ... pogląd, że istnieje dokładnie jeden, z dokładnością do izomorfizmu, ciąg liczb naturalnych - nie można bowiem zasadnie zakładać, że operacja następnika może być...
- ... teorię numeracji", która pozwala na przeniesienie pojęcia rekurencyjności z dziedziny liczb naturalnych na dowolne struktury przeliczalne.
Nurt drugi, tzn. konstruktywna matematyka rekurencyjna... - ... spektroskopistów nosi nazwę stałej Rydberga; m może przybierać kolejne wartości liczb naturalnych, poczynając od 3; tym wartościom odpowiadają następujące po sobie linje...
- ... może być iterowana nieokreślenie wiele razy. Mogą więc istnieć uniwersa liczb naturalnych o różnej długości. Mogą one nie być zamknięte na takie...
- ... sposób podobny jak arytmetyczną, ale teraz dopuszczamy kwantyfikowanie nie tylko liczb naturalnych, ale także zbiorów liczb naturalnych.
Kodując odpowiednio funkcje można klasyfikować... - ... Gödla, a głoszące, że dowód niesprzeczności teorii sformalizowanej zawierającej arytmetykę liczb naturalnych nie może być przeprowadzony w metamatematyce nie operującej środkami wykraczającymi...
- ... 1978) udowodnił twierdzenie głoszące, że każdy system sformalizowany zawierający arytmetykę liczb naturalnych i niesprzeczny musi być niezupełny, tzn. zawsze istnieć będą wyrażone...
- ... w tym przyporządkowaniu.
Przykładem grupoidów izomorficznych są zbiory: A - zbiór liczb naturalnych i B - zbiór potęg o danej podstawie, np. 2, i... - ... funkcje można klasyfikować za pomocą opisanych hierarchii nie tylko zbiory liczb naturalnych, ale również funkcje naturalne, tzn. funkcje o argumentach i wartościach...
- ... 6, ponieważ nie możemy przecież przedstawić tabeli dla nieskończonego zbioru liczb naturalnych.
Z tabelek tych widać, że gdy weźmiemy np. liczby 3... - ... nie jest rekurencyjna (efektywna) i wymaga użycia kwantyfikacji ogólnej względem liczb naturalnych, a więc przyjęcia nieskończoności aktualnej. Radykalny konstruktywista, który nie akceptuje...
